$\forall$$f$:top, $T$:Type, $L$:($T$ List). sqequal($\parallel$map($f$; $L$)$\parallel$; $\parallel$$L$$\parallel$)